#ifndef DPI_SIM_CONFIG_H
#define DPI_SIM_CONFIG_H

/// Size of system memory (default 8GB)
uint64_t SYS_RAM_SIZE = 8589934592;


/// Bios
char *kernel_elf_bios = "../ext/mloader-l0/laloader-l0.exe";

/// Kenel 
char *kernel_elf = "/home/airxs/user/la/soc/os/kernel/linux-4.19-loongson/vmlinux";

/// ramdisk.img
bool load_bin = false;

/// binary entry
uint64_t bin_addr = 0;

/// binary name 
char * bin_name = "";


#endif //DPI_SIM_CONFIG_H
